projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc4a5b7) | patch
Move generation of public header hierarchy into the tools.
authorKeir Fraser <keir.fraser@citrix.com>
Sat, 26 Jan 2008 10:38:44 +0000 (10:38 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Sat, 26 Jan 2008 10:38:44 +0000 (10:38 +0000)
commitbe5fbf9a7fecc31c192ca0c547a1f6b864d7aa05
tree9e7ea5294656ebe1b5e31904644a4cf5560c68f4tree | snapshot
parentbc4a5b7bf50bf466cfc63f20a3907d904d5f0cdfcommit | diff
Move generation of public header hierarchy into the tools.

This patch merges the two versions of public header generation
currently used in the build into one.

Signed-off-by: Bastian Blank <waldi@debian.org>
21 files changed:
.hgignore diff | blob | history
tools/Makefile diff | blob | history
tools/Rules.mk diff | blob | history
tools/blktap/drivers/Makefile diff | blob | history
tools/blktap/lib/Makefile diff | blob | history
tools/console/Makefile diff | blob | history
tools/flask/libflask/Makefile diff | blob | history
tools/flask/loadpolicy/Makefile diff | blob | history
tools/include/Makefile [new file with mode: 0644] blob
tools/include/xen-foreign/Makefile [new file with mode: 0644] blob
tools/ioemu/Makefile.target diff | blob | history
tools/libxc/Makefile diff | blob | history
tools/misc/Makefile diff | blob | history
tools/python/setup.py diff | blob | history
tools/xcutils/Makefile diff | blob | history
tools/xenmon/Makefile diff | blob | history
tools/xenstat/libxenstat/Makefile diff | blob | history
tools/xenstore/Makefile diff | blob | history
tools/xentrace/Makefile diff | blob | history
xen/Makefile diff | blob | history
xen/include/public/foreign/Makefile [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.